Working together : Formal Methods and Testing ∗
نویسندگان
چکیده
Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding the ways in which formal methods and testing complement one another.
منابع مشابه
Symbolic Methods in Testing 1 Executive Summary
This report documents the program and the outcomes of Dagstuhl Seminar 13021 “Symbolic Methods in Testing”. The aim of the seminar was to bring together leading researchers of this field; the seminary ended up with 38 participants from 10 countries: France, The Netherlands, The Unites States, Germany, Switzerland, United Kingdom, Brazil, Norway, Estonia and Italy. Through a series of presentati...
متن کاملMulticore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052)
This report documents the program and the outcomes of Dagstuhl Seminar 13021 “Symbolic Methods in Testing”. The aim of the seminar was to bring together leading researchers of this field; the seminary ended up with 38 participants from 10 countries: France, The Netherlands, The Unites States, Germany, Switzerland, United Kingdom, Brazil, Norway, Estonia and Italy. Through a series of presentati...
متن کاملNecessity of Routine Repeat Testing of Critical Values in Various Working Shifts
Background & Objective: Accurate and timely reporting of critical values is an important issue. There is some doubt whether repeat testing of critical values would offer any advantage over single testing or not. The aim of this study was evaluation of utility of routine repeat testing of critical values in our referral center and to compare probable variations in different work...
متن کاملCôte de Resyste Automated Model Based Testing
Systematic testing is very important for assessing and improving the quality of embedded software. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The project Côte de Resyste has been working since 1998 on methods, techniques and tools for automating specification based testing using formal methods. The main achievement of the project is a test tool, baptized ...
متن کاملChildren's Working Memory Measurement Model: Testing of Hich and Baddeley Model, Baddeley and Cowan Model
The aim of the present study was to investigate Children's Working Memory Measurement Model: Testing Theories’ Hich and Baddeley, Baddeley and Cowan. The research design was correlational. The population included all primary school students in Tehran in 1400. Participants were 150 students aged 7 to 10 years who were selected by convenience sampling method. They all responded to the Comprehensi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003